dockerfile for tomcat